منابع مشابه
Classical Logic, Argumentation and Dialectic
A well studied instantiation of Dung’s abstract theory of argumentation yields argumentation-based characterisations of non-monotonic inference over possibly inconsistent sets of classical formulae. This provides for single-agent reasoning in terms of argument and counter-argument, and distributed non-monotonic reasoning in the form of dialogues between computational and or human agents. Howeve...
متن کاملSupervaluationism and Classical Logic
The supervaluationist theory of vagueness provides a notion of logical consequence that is akin to classical consequence. In the absence of a definitely operator, supervaluationist consequence coincides with classical consequence. In the presence of ‘definitely ’, we might find counterexamples to classically valid patterns of inference within supervaluationist reasoning. Foes of supervaluationi...
متن کاملCombinatory Logic and - Calculus for Classical Logic
Since Gri n's work in 1990, classical logic has been an attractive target for extracting computational contents. However, the classical principle used in Gri n's type system is the double-negation-elimination rule, which prevents one to analyze the intuitionistic part and the purely classical part separately. By formulating a calculus with J (for the elimination rule of falsehood) and P (for Pe...
متن کاملQuantum Logic as Classical Logic
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic is a completion of the quantum logic QL. In other words, we refute Birkhoff and von Neumann’s classic thesis that the logic (the formal character) of Quantum...
متن کاملLinear Logic complements Classical Logic
Classical logic enforces the separation of individuals and predicates, linear logic draws them together via interaction; these are not right-orwrong alternatives but dual or complementary logics. Linear logic is an incomplete realization of this duality. While its completion is not essential for the development and maintenance of logic, it is crucial for its application. We outline the “four-sq...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2018
ISSN: 0004-3702
DOI: 10.1016/j.artint.2018.05.003